Поиск в словарях
Искать во всех

Советский философский словарь - порецкий платон сергеевич

 

Порецкий платон сергеевич

порецкий платон сергеевич
[3(15).10.1846, Елизаветград, ныне Кировоград 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и ма­тематик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам П. был материалистом. Формальные методы в логике, согласно П., могут быть обоснованы лишь анализом содержат.

оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают её. П. считал, что математич. логика по предмету своему есть логика, а по методу математика. П. были полу­чены существ. результаты, относящиеся к алгебре ло­гики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.на­хождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (определ. вида) из данных посылок; все гипотезы, из к-рых может следовать данное заключение; все различные эквивалентные формы, в к-рых могут быть представ­лены данные выражения посылки и заключения.

Рейтинг статьи:
Комментарии:

См. в других словарях

1.
  (3(15). 10.1846, Елизаветград Херсонской губ. 10(23). 08.1907, с. Жоведь Черниговской губ.) логик, естествоиспытатель, публицист. В 1870 г. закончил физико-математический ф-т Харьковского ун-та. В 1876 г. назначен астрономом-наблюдателем Казанского ун-та, получил степень доктора астрономии и звание приват-доцента сферической тригонометрии. Несколько лет был редактором казанской газ. "Телеграф". На основе работы "О способах решения логических равенств и об обратном способе математической логики" (Собрание протоколов заседаний секции физико-математических наук при Казанском университете. Казань. 1884. Т. 2. С. 161-330) впервые в России читал в Казанском ун-те лекции по алгебре логики. Исходил из различения "количественных форм", изучаемых алгеброй, и "качественных форм", исследуемых логикой. П. усматривал и сходство (до определенных пределов) обеих наук, к-рое объясняет возможность модификаций и приспособления алгебраических приемов к логике. Результаты своих исследований П. представил в написанных на фр. яз. работах "Семь основных законов теории логических равенств" (Poretzky P. S. Sept lois fondamentales de la theorie des egalites logiques // Известия физико-математического...
Русская философия
2.
  (род. 3 окт. 1846, Елизаветград ум. 9 авг. 1907, с. Жоведь Черниговской губ.) рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия ("О способах решения логических равенств и об обратном способе математической логики", 1884). В философских воззрениях придерживался естественнонаучного материализма. ...
Философский энциклопедический словарь

Вопрос-ответ:

Похожие слова

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины